Lax algebra meets topology
نویسندگان
چکیده
منابع مشابه
Lax Algebra Meets Topology
We combine two research directions of the past decade, namely the development of a lax-algebraic framework for categories of interest to topologists and analysts, and the exploration of key topological concepts, like separation and compactness, in an abstract category which comes equipped with an axiomatic notion “closed” or “proper” map. Hence, we present various candidates for such notions in...
متن کاملProof Complexity Meets Algebra
We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional and semi-algebraic proof systems, the classical constructions of pp-interpretability, homomorphic equivalence and addition of constants to a core preserve the proof complexity of the CSP. As a result, for those proof systems, the classes...
متن کاملLax Distributive Laws for Topology, Ii
For a small quantaloid Q we consider four fundamental 2-monads T on Q-Cat, given by the presheaf 2-monad P and the copresheaf 2-monad P†, as well as their two composite 2-monads, and establish that they all laxly distribute over P. These four 2-monads therefore admit lax extensions to the category Q-Dist of Q-categories and their distributors. We characterize the corresponding (T,Q)-categories ...
متن کاملLax Distributive Laws for Topology, I
For a quantaloid Q, considered as a bicategory, Walters introduced categories enriched in Q. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad T over the discrete presheaf monad of the small quantaloid Q the primary data of the theory, rather than the l...
متن کاملLinear Algebra and Topology
Two real entried (respectively: orthogonal) n x n matrices^! andB are said to be linearly similar if there is an invertible real (resp. orthogonal) n x n matrix C with CAC~ = B. Of course, A, B and C may be regarded as linear functions from R (resp. isometries from S~) to itself. The matrices A and B are said to be (resp. homogeneously differentiably) differentiably similar if there is a diffeo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2012
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.09.049